1. <A> Concise introduction to pure mathematics
پدیدآورنده : \ Martin Liebeck.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, Symbolic and mathematical.,Mathematics.,منطق ریاضی ,ریاضیات
رده :
QA9
.
L478
2016
E-book
,
2. Advanced linear algebra /
پدیدآورنده : Nicholas Loehr, Virginia Polytechic Institute and State University Blacksburg, USA
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Algebras, Linear
رده :
QA184
.
2
.
L64
2014
3. Advanced linear and matrix algebra /
پدیدآورنده : Nathaniel Johnston.,Johnston, Nathaniel,
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Algebras, Linear.,Matrices.
رده :
QA184
.
2
.
J64
2021
4. An Introduction to Wavelet Analysis
پدیدآورنده : by David F. Walnut.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science-- Mathematics.,Computer science.,Functional analysis.,Mathematics.
5. Applications of Functional Analysis in Engineering
پدیدآورنده : by J. L. Nowinski.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Science (General).
6. Automated Deduction -- CADE-12 :
پدیدآورنده : edited by Alan Bundy.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
7. Book of proof /
پدیدآورنده : Richard Hammack, Virginia Commonwealth University.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Proof theory, Textbooks.,Proof theory.
رده :
QA9
.
54
.
H345
2018
8. Combinatorics /
پدیدآورنده : Nicholas A. Loehr.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Combinatorial analysis.,Combinatorial analysis.,MATHEMATICS-- Applied.,MATHEMATICS-- Combinatorics.
رده :
QA164
.
L64
2017
9. Complex analysis and applications :
پدیدآورنده : editors, Yuefei Wang et al.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Functions of complex variables, Congresses.,Mathematical analysis, Congresses.,Functions of complex variables.,Mathematical analysis.,MATHEMATICS-- Complex Analysis.
رده :
QA331
.
7
.
I585
2005eb
10. Computer arithmetic in theory and practice
پدیدآورنده : Ulrich W. Kulisch, Willard L. Miranker
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (آذربایجان شرقی)
موضوع : Algebra, Abstract,Interval analysis (mathematical),Floating - Point arithmetic
رده :
QA
,
162
,.
K84
,
1981
11. Design and implementation of symbolic computation systems :
پدیدآورنده : John Fitch
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Mathematics -- Data processing -- Congresses.,Numerical analysis -- Congresses -- Data processing.,System design -- Congresses.
12. Differential Geometry and Mathematical Physic
پدیدآورنده : / by Gerd Rudolph, Matthias Schmidt
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Physics,Topological Groups,Global analysis,Global differential geometry,Mathematical physics,Mechanics,Electronic books
رده :
E-BOOK
13. Discrete Morse theory /
پدیدآورنده : Nicholas A. Scoville.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Geometry, Differential.,Homotopy theory.,Morse theory.,Algebraic topology -- Applied homological algebra and category theory [See also 18Gxx] -- Abstract complexes.,Geometry, Differential.,Global analysis, analysis on manifolds [See also 32Cxx, 32Fxx, 32Wxx, 46-XX, 47Hxx, 53Cxx] {For geometric integration theory, see 49Q15} -- Variational problems in infinite-dimensional spaces -- Abstr.,Homotopy theory.,Manifolds and cell complexes {For complex manifolds, see 32Qxx} -- PL-topology -- General topology of complexes.,Manifolds and cell complexes {For complex manifolds, see 32Qxx} -- PL-topology -- Simple homotopy type, Whitehead torsion, Reidemeister-Franz torsion, etc. [See also 19B28].,Morse theory.,Morse-Theorie
رده :
QA612
.
7
.
S36
2019
14. Discrete mathematical structures for computer science
پدیدآورنده : / Ronald E. Prather
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع : Algebra, abstract,Combinatorial analysis,Algorithms
رده :
QA162
.
P68
15. Discrete mathematical structures for computer science
پدیدآورنده : Prather, Ronald E
موضوع : ، Algebra , Abstract,، combiantorial analysis,، Algorithms
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
16. Discrete mathematical structures for computer science
پدیدآورنده : / Ronald E. Prather
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Algebra, abstract,Combinatorial, analysis,Algorithms
رده :
512
.
02
P912d
17. Discrete mathematics
پدیدآورنده : by Seymour Lipschutz, Ph.D. and Marc Lars Lipson, Ph.D.
کتابخانه: كتابخانه دانشگاه صنعتی اروميه (آذربایجان غربی)
موضوع : Algebra, Abstract- Outlines, syllabi, etc,Combinatorial analysis- Outlines, syllabi, etc,Logic, Symbolic and mathematical- Outlines, syllabi, etc
رده :
QA
,
162
,.
D57
,
2007
18. Discrete mathematics And Graph Theory
پدیدآورنده : Purna .Chandra Bisweal
کتابخانه: کتابخانه مرکزی دانشگاه یاسوج (محمد بهمن بیگی) (کهگیلویه و بویراحمد)
موضوع : Algebra, Abstract, Outlines, syllabi, etc,Combinatorial analysis, Outlines, syllabi, etc,Logic, Symbolic and mathematical, Outlines, syllabi, etc
رده :
510
,
B85
,
2005
19. Dynamical Systems, Control, Coding, Computer Vision
پدیدآورنده : edited by Giorgio Picci, David S. Gilliam.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Mathematics.
20. Endliche Strukturen /
پدیدآورنده : Kristina Reiss, Gernot Stroth.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Algebra, Abstract.,Algebra, Universal.,Finite groups.,Finite model theory.,Mathematical analysis.,Algebra, Abstract.,Algebra, Universal.,Finite groups.,Finite model theory.,Mathematical analysis.
رده :
QA300
.
R45
2011eb